Nedialko S. Nedialkov: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Stepsize selection in the rigorous defect control of Taylor series methods

Ernsthausen, John M., Nedialkov, Nedialko S.

Journal:

Journal of Computational and Applied Mathematics

Year:

2020

Language:

english

File:

PDF, 303 KB

english, 2020

2

An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE

Nedialko S. Nedialkov, Kenneth R. Jackson, John D. Pryce

Journal:

Reliable Computing

Year:

2001

Language:

english

File:

PDF, 159 KB

english, 2001

3

Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint propagation techniques

Ramdani, Nacim, Nedialkov, Nedialko S.

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 230 KB

english, 2009

4

Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques

Nacim Ramdani, Nedialko S. Nedialkov

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2011

Language:

english

File:

PDF, 583 KB

english, 2011

5

Classification of steady solutions of the full kinematic model

Chu-Pin Lo, Nedialko S. Nedialkov, Juan-Ming Yuan

Journal:

Physica D: Nonlinear Phenomena

Year:

2004

Language:

english

File:

PDF, 520 KB

english, 2004

6

Some recent advances in validated methods for IVPs for ODEs

Kenneth R. Jackson, Nedialko S. Nedialkov

Journal:

Applied Numerical Mathematics

Year:

2002

Language:

english

File:

PDF, 141 KB

english, 2002

7

Solving Differential-Algebraic Equations by Taylor Series (I): Computing Taylor Coefficients

Nedialko S. Nedialkov, John D. Pryce

Journal:

BIT Numerical Mathematics

Year:

2005

Language:

english

File:

PDF, 583 KB

english, 2005

8

Solving differential-algebraic equations by Taylor series (II): Computing the System Jacobian

Nedialko S. Nedialkov, John D. Pryce

Journal:

BIT Numerical Mathematics

Year:

2007

Language:

english

File:

PDF, 508 KB

english, 2007

9

An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation

Nedialko S. Nedialkov, Kenneth R. Jackson

Journal:

Reliable Computing

Year:

1999

File:

PDF, 628 KB

1999

10

Interval Arithmetic, Affine Arithmetic, Taylor Series Methods: Why, What Next?

Nedialko S. Nedialkov, Vladik Kreinovich, Scott A. Starks

Journal:

Numerical Algorithms

Year:

2004

Language:

english

File:

PDF, 120 KB

english, 2004

11

[IEEE 2012 IEEE International Conference on Control Applications (CCA) - Dubrovnik, Croatia (2012.10.3-2012.10.5)] 2012 IEEE International Conference on Control Applications - Sensitivity analysis for systems of differential-algebraic equations with applications to predictive control and parameter estimation

Rauh, Andreas, Senkel, Luise, Aschemann, Harald, Nedialkov, Nedialko S., Pryce, John D.

Year:

2012

Language:

english

File:

PDF, 302 KB

english, 2012

12

[IEEE 2013 18th International Conference on Methods & Models in Automation & Robotics (MMAR) - Miedzyzdroje (2013.8.26-2013.8.29)] 2013 18th International Conference on Methods & Models in Automation & Robotics (MMAR) - Uses of differential-algebraic equations for trajectory planning and feedforward control of spatially two-dimensional heat transfer processes

Rauh, Andreas, Aschemann, Harald, Nedialkov, Nedialko S., Pryce, John D.

Year:

2013

Language:

english

File:

PDF, 1.79 MB

english, 2013

13

DAESA—A Matlab Tool for Structural Analysis of Differential-Algebraic Equations

Pryce, John D., Nedialkov, Nedialko S., Tan, Guangning

Journal:

ACM Transactions on Mathematical Software

Year:

2015

Language:

english

File:

PDF, 216 KB

english, 2015

14

Algorithm 948

Nedialkov, Nedialko S., Pryce, John D., Tan, Guangning

Journal:

ACM Transactions on Mathematical Software

Year:

2015

Language:

english

File:

PDF, 1.49 MB

english, 2015

15

Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods

Eggers, Andreas, Ramdani, Nacim, Nedialkov, Nedialko S., Fränzle, Martin

Journal:

Software & Systems Modeling

Year:

2015

Language:

english

File:

PDF, 2.69 MB

english, 2015

16

[ACM Press the 1st International Workshop - Denver, Colorado (2013.11.17-2013.11.21)] Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering - SE-HPCCSE '13 - Document driven certification of computational science and engineering software

Smith, Spencer, Koothoor, Nirmitha, Nedialkov, Nedialko

Year:

2013

Language:

english

File:

PDF, 400 KB

english, 2013

17

[IEEE 2015 IEEE 14th International Conference on Machine Learning and Applications (ICMLA) - Miami, FL, USA (2015.12.9-2015.12.11)] 2015 IEEE 14th International Conference on Machine Learning and Applications (ICMLA) - Probabilistic Graphical Models and Deep Belief Networks for Prognosis of Breast Cancer

Khademi, Mahmoud, Nedialkov, Nedialko S.

Year:

2015

Language:

english

File:

PDF, 295 KB

english, 2015

18

Set-Membership Estimation of Hybrid Systems via SAT Modulo ODE*

Eggers, Andreas, Ramdani, Nacim, Nedialkov, Nedialko S., Fränzle, Martin

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 421 KB

english, 2012

19

How AD can help solve differential-algebraic equations

Pryce, John D., Nedialkov, Nedialko S., Tan, Guangning, Li, Xiao

Journal:

Optimization Methods and Software

Year:

2018

Language:

english

File:

PDF, 1.45 MB

english, 2018

20

Structural analysis of linear integral-algebraic equations

Zolfaghari, Reza, Nedialkov, Nedialko S.

Journal:

Journal of Computational and Applied Mathematics

Year:

2019

Language:

english

File:

PDF, 408 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски